Repository navigation
docs(lean,#4362): doctrine des lakes R1-R4 -- le site suit le consommateur - #24188
Merged
Merged
Conversation
…ateur Texte de reference de la doctrine validee par le user le 2026-11-02 (reponse a la question de gouvernance Q160) : R1 site = consommateur, R2 plus de fusion pour le disque ou la CI, R3 fusion par les imports seulement, R4 un resultat a une maison et un doublon se declare. Pointeur ajoute dans l'index docs/lean/README.md. See #4362 See #24183 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
github-actions
Bot
added
variation-tag-genre-offlist
Contributor
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Grain: MED/harness — lane myia-ai-01:CoursIA — prev: Concern user #24179 / #24183
Ce que fait cette PR
Elle écrit le texte de référence de la doctrine des lakes Lean, que le user a validée le 2026-11-02 en réponse à ma question de gouvernance (registre, Q160) :
docs/reference/lean-lakes-doctrine.md(nouveau) :docs/lean/README.md: une ligne d'index (section « Organisation des lakes »).CLAUDE.mdpointe déjàdocs/lean/.Ce qui n'est pas dans cette PR. Le pointeur d'une ligne dans
CLAUDE.mdattend #23813 (lanemyia-po-2024:CoursIA), qui touche aussi ce fichier ; il fera l'objet d'une PR séparée après son merge.Gouvernance (CLAUDE.md §A)
Ce changement est normatif : il retire un motif de fusion, pose R1-R4 et renverse #4365 pour
game_theory_lean. Le sign-off user est la réponse citée ci-dessus. Le même accord a déjà été reporté dans l'en-tête de #4362 (titre et body réécrits) et dans #24183.Vérifications
scripts/lean/ci_lakes.json: 33 entrées (mesuré à la base)lean_material_map.py,setup_shared_mathlib.ps1,count_code_sorry.pyetlean-ci-matrix.ymlexistent à la basecheck_prose_quantitative_claims.py --diff origin/main...HEAD[OK] aucun compteur quantitatif en prose[CLAIMED-AMEND]sur #4362, scope = les deux fichiers ;check_lane_claim.pyrc=0See #4362
See #24183
🤖 Generated with Claude Code